Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Mojo Vision
docs.modular.com·23h·
Discuss: Hacker News
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News